ViBBA: A Toolbox for Automatic Model Driven Animation
نویسندگان
چکیده
In this paper, we present ViBBA (Visual Bean Based Animator), a toolbox supporting the automatic model driven animation [7] consisting in automatically deriving scenarios exposing critical system behaviors from requirements specifications, and animating those scenarios through a graphical interface. ViBBA allows visual construction of graphical animators and scenarios animation. It is integrated with the ATGT [5], that automatically generates scenarios (in XML format) from Abstract State Machines (ASMs) by exploiting counter example generation capability of the model checker Spin. The operation of ViBBA is shown by means of an example of formal specification where scenarios are automatically generated from the model and then animated.
منابع مشابه
Automatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملAutomatic Model Driven Animation of SCR Specifications
This paper introduces automatic model driven animation, a novel approach to validate requirements specifications. This approach, here applied to SCR specifications, is based on graphical animation. Automatic model driven animation consists in automatically deriving scenarios from requirements specifications; these scenarios are used to animate critical system behaviors through a graphical inter...
متن کاملTowards Automatic Performance Driven Animation Between Multiple Types of Facial Model
In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can be analysed in terms of a set of facial action parameter trajectories using a modified appearance model with modes of variation encoding specific facial actions which we can pre-define.
متن کاملLaughing, Crying, Sneezing and Yawning: Automatic Voice Driven Animation of Non-Speech Articulations
In this paper a technique is presented for learning audio-visual correlations in non-speech related articulations such as laughs, cries, sneezes and yawns, such that accurate new visual motions may be created given just audio. Our underlying model is data-driven and provides reliable performance given voices the system is familiar with as well as new voices. We demonstrate how performance accur...
متن کاملA Model-Driven Approach to Scenario-Based Requirements Engineering
A model-driven approach to scenario-based requirements engineering is proposed. The approach, which is based on Computer Automated Multi-Paradigm Modeling (CAMPaM), aims to improve the software process. A framework is given and implemented to reason about models of systems at multiple levels of abstraction, to transform between models in different formalisms, and to provide and evolve modeling ...
متن کامل